Skip to content

Actions: tc39/proposal-discard-binding

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
12 workflow runs
12 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #11: by github-pages bot
March 7, 2025 15:01 36s gh-pages
gh-pages
March 7, 2025 15:01 36s
Merge pull request #15 from nicolo-ribaudo/patch-1 Publish Spec to gh-pages #16: Commit 158517f pushed by rbuckton
March 7, 2025 15:00 48s main
main
March 7, 2025 15:00 48s
Stage 2 Publish PR to gh-pages/pr/ #6: Pull request #15 synchronize by nicolo-ribaudo
March 7, 2025 10:45 45s nicolo-ribaudo:patch-1
nicolo-ribaudo:patch-1
March 7, 2025 10:45 45s
Stage 2 Publish PR to gh-pages/pr/ #5: Pull request #15 opened by nicolo-ribaudo
March 7, 2025 10:45 52s nicolo-ribaudo:patch-1
nicolo-ribaudo:patch-1
March 7, 2025 10:45 52s
pages build and deployment pages-build-deployment #10: by github-pages bot
October 1, 2024 13:48 53s gh-pages
gh-pages
October 1, 2024 13:48 53s
Restore semantics missing after refactor in #9 Publish PR to gh-pages/pr/ #4: Pull request #12 opened by rbuckton
October 1, 2024 13:47 54s missing-semantics
missing-semantics
October 1, 2024 13:47 54s
pages build and deployment pages-build-deployment #9: by github-pages bot
June 12, 2024 10:20 35s gh-pages
gh-pages
June 12, 2024 10:20 35s
Merge pull request #9 from tc39/cover-discard Publish Spec to gh-pages #15: Commit 530b279 pushed by rbuckton
June 12, 2024 10:19 49s main
main
June 12, 2024 10:19 49s
pages build and deployment pages-build-deployment #8: by github-pages bot
May 31, 2024 15:17 39s gh-pages
gh-pages
May 31, 2024 15:17 39s
Update pr.yml Publish Spec to gh-pages #14: Commit b5fd385 pushed by rbuckton
May 31, 2024 15:16 51s main
main
May 31, 2024 15:16 51s
pages build and deployment pages-build-deployment #7: by github-pages bot
May 30, 2024 21:41 40s gh-pages
gh-pages
May 30, 2024 21:41 40s
Move cover for void discards to more specific elements Publish PR to gh-pages/pr/ #3: Pull request #9 opened by rbuckton
May 30, 2024 21:40 48s cover-discard
cover-discard
May 30, 2024 21:40 48s